Skip to content

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Sep 24, 2021

On every push that changes relevant files, and periodically, use github-label-sync to configure the repository's issue/PR labels according to the universal, shared, and local label configuration files.

Preview of the changes that would result if merged:
https://github.com/arduino/arduino-preprocessor/pull/15/checks?check_run_id=3702946870#step:9:15

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Sep 24, 2021
@per1234 per1234 marked this pull request as ready for review September 24, 2021 17:43
On every push that changes relevant files, and periodically, configure the repository's issue and pull request labels
according to the universal, shared, and local label configuration files.
@per1234 per1234 merged commit 8907998 into arduino:master Oct 20, 2021
@per1234 per1234 self-assigned this Nov 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants